It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lee masThis book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Lee masThis volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Lee masThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lee masThe book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Lee masThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lee masIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lee masMatousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...
Lee masThis book covered are information and data visualization; advances techniques for visual information management; mobile visual ...
Lee masThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lee masThis book address current research and development efforts of various issues in the area of algorithms, systems and applications ...
Lee masThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Lee mas